home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / modify.c < prev    next >
Text File  |  1996-08-26  |  139b  |  13 lines
  1. void setx (int *x, int *y)
  2.   /*@modifies *x@*/
  3. {
  4.   *y = *x;
  5. }
  6.  
  7. void sety (int *x, int *y)   
  8.    /*@modifies *y@*/
  9. {   
  10.    setx (y, x); 
  11. }
  12.  
  13.